Nuprl Definition : Rsends 0,22
sends knd(v:T) on l:
tagged(g,State(ds),v):dt
== inr(inr(inr(inr(inr(inr(inl(<ds,knd,T,l,dt,g>))))))) 
latex

Definitionsinr(x), inl(x), <a,b>
FDL editor aliasesRsends

origin